Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
491	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-22 04:05:49 Logic in computer science Lambda calculus Models of computation Computability theory Combinatory logic Curry–Howard correspondence Model theory Structure Programming Computable Functions Theoretical computer science Mathematics Mathematical logic
492	Partial Combinatory Algebras and Realizability Toposes Pieter J.W. Hofstra University of Ottawa Add to Reading List Source URL: mysite.science.uottawa.ca Language: English - Date: 2012-03-30 10:43:13 Model theory Combinatory logic Logic in computer science Function Topos Functor Interpretation Cartesian closed category Adjoint functors Mathematics Mathematical logic Lambda calculus
493	Jean-Louis Krivine LAMBDA-CALCULUS Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-07-01 11:36:37 Lambda calculus Logic in computer science Predicate logic Combinatory logic Type theory Fixed-point combinator Free variables and bound variables Curry–Howard correspondence System F Theoretical computer science Mathematics Mathematical logic
494	I944Î BOOK REVIEWS Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:40:41 Lambda calculus Theory of computation Computability theory Logic in computer science Mathematical logic Combinatory logic Function Well-formed formula Gödel numbering Mathematics Theoretical computer science Logic
495	PII: [removed][removed] Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2011-01-04 13:22:54 Combinatory logic Binomial coefficient Obfuscated code Mathematics Combinatorics Permutation
496	Formalizing Dynamic Software Updating Gavin Bierman† † Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2007-11-14 07:07:40 Applied mathematics Logic in computer science Formal methods Denotational semantics Dynamic Software Updating Module Lambda calculus Combinatory logic Theoretical computer science Models of computation Mathematics
497	To appear in “Church’s Thesis after 70 Years” ed. A. Olszewski, Logos Verlag, Berlin, [removed]Church’s Thesis Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2008-08-11 14:08:31 Computer science Computability theory Theory of computation Logic in computer science Combinatory logic Fixed-point combinator Curry–Howard correspondence Computability Church encoding Theoretical computer science Mathematics Lambda calculus
498	What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common C ORRECTED 12 AUG 2010 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-08-12 10:34:41 Quantification Higher-order functions Predicate logic Monad Fold Function FO Continuous function Combinatory logic Mathematics Mathematical logic Logic
499	Lecture Notes on the Lambda Calculus Peter Selinger Department of Mathematics and Statistics Add to Reading List Source URL: www.mathstat.dal.ca Language: English - Date: 2013-09-21 21:21:50 Mathematics Logic in computer science Theory of computation Type theory Computability theory Simply typed lambda calculus Combinatory logic Typed lambda calculus Normalization property Theoretical computer science Lambda calculus Mathematical logic
500	Productive Coprogramming with Guarded Recursion Robert Atkey Add to Reading List Source URL: bentnib.org Language: English - Date: 2013-07-17 15:22:25 Lambda calculus Predicate logic Symbol Fixed-point combinator Model theory Quantification Function Combinatory logic Type system Mathematical logic Mathematics Logic

UPDATE